（来源：上观新闻）
因为中国真正的🤪长板，不是最🕥🦗会讲未来📸。创立之初♌🍅，公司👨💻🎊以智能〽硬件设计方案👨👨👦👦🍤提供（IDH🍌🇧🇫）为核心业🇲🇸🇸🇾务❤🏺。先看一个轻量🇮🇷、高频、以检索为🖼主的企业问👨👩👦👦答任务🇳🇿😮。
在 20 世纪🇫🇷 60 年代，托🏣🤟尼·霍尔🧛♂️🌭提出了今天形式🎌化验证的🇹🇷重要基石🚴🐎——霍尔逻🌳辑，然而直到他🇺🇾🕢今年逝世🙇😵前，形式化验证🥕仍然囿于🍃人力成本🚗🔢，难以扩展至大🇧🇧卡一卡二卡三规模软件中📼🙃。除此之外⌛就是大💩🧳量人际工🙅作：鼓舞团队、同🌈时也对👦产品保持挑剔♐。
第二类👛是超高密度计👩✈️🆒数场景，NU⏭🐒MINA😩🚣的设计目标是🇸🇴1到8📱个物体的精确🎶计数，对于几十乃💰至上百个物体的场🇧🇲景，其内🥑部的地图构建🍦↪和引导逻辑都尚未🤽♀️🛷针对性优化，效👦果存在🇰🇳局限🦑⚙。
